1. An Introduction to the Technique of Formative Processes in Set Theory
پدیدآورنده : Cantone, Domenico
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع :
رده :
G
87
.
S9
2018
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2. Computable set theory
پدیدآورنده : Cantone, Domenico
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Set theory,، Computable functions
رده :
QA
248
.
C26C6
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
3. Computational Logic and Set Theory
پدیدآورنده : / Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
![](/design/images/bookmore.png)
4. Computational Logic and Set Theory: Applying Formalized Logic to Analysis
پدیدآورنده : / Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo (auth.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, THEORY
رده :
E-BOOK
![](/design/images/bookmore.png)
5. Computational logic and set theory
پدیدآورنده : / Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Set theory
رده :
E-BOOK
![](/design/images/bookmore.png)
6. Computational logic and set theory applying formalized logic to analysis
پدیدآورنده : Schwartz, Jacob T.,Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Set theory
رده :
QA
248
.
S364
2011
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
7. Set theory for computing : from decision procedures to declarative programming with sets
پدیدآورنده : Cantone, Domenico
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Set theory,، Computable functions
رده :
QA
248
.
C26S4
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)